Solid codes and the uniform density of fd-domains

By means of further investigation of solid codes,the problem“Is every fd-domain uni- formly dense”proposed by Yuqi Guo,C.M.Reis and G.Thierrin in 1988 is solved in this paper.     

T-RBAC访问控制模型及其约束描述语言

一种结合了基于任务的访问控制模型TBAC和基于角色的访问控制模型RBAC特点的新型访问控制模型-T-RBAC.该模型采用了以任务为中心的"用户-角色-任务-权限"的四级访问控制结构,较好地解决了当前工作流系统中存在的安全性问题.此外,在新模型的基础上设计了一套描述约束机制的语言ETCL,该语言在RCL2000的基础上扩充了时间特性和任务的概念,使新模型具备了较完整的约束描述能力.     

Characterisation of Sol-Gel TiO2 Films by Etching

This article describes the SmartKom Companion, one of three demonstrators developed within the SmartKom project whose goal has been to provide an intuitive and intelligent interface for non-expert users to everyday computer-based applications in different scenarios of use. Conceived for the SmartKom Mobile scenario, the Companion allows intuitive multimodal interaction for drivers and pedestrians. The development of the SmartKom prototypes was constantly accompanied by Wizard-of-Oz experiments as well as system evaluations at different stages of the project. Some usability evaluation results relative to the SmartKom Companion will also be presented.     

Using symbolic computation software packages in production of multidimensional finite volume‐based large eddy simulation codes

The numerical simulation of turbulence is one of the most challenging tasks in the field of the modern computational science. At present, the most advanced approach is the large eddy simulation (LES) technique wherein a formal separation between resolved (large) and unresolved (small) scales of the motion is in effect by means of a filtering operation applied onto the governing equations. However, LES requires very sophisticated numerical discretizations in terms of both accuracy and efficiency. Often, the modelling of the unresolved subgrid scale terms adds further computational complexities. This paper illustrates the suitability in using software packages for symbolic computation (in the present case, Maple© for helping in the production of subroutines for a new multidimensional, high‐order accurate finite volume‐based LES code. Specifically, it will be detailed how producing, rapidly and efficiently, the routines for computing convective, diffusive as well as subgrid scale modelling fluxes. It is particularly detailed how exploiting the package for differential calculus and linear algebra for the analytical integration of the flux polynomials over the finite volume faces. The structure of the LES code is illustrated, and an accuracy analysis of the local truncation errors is performed comparing the third‐order accurate multidimensional upwind and the classical second‐order centred reconstruction in the wavenumbers space. Then, some numerical results for the turbulent plane channel and some brief points concerning the parallelization issue are addressed. Copyright © 2012 John Wiley & Sons, Ltd.     

前缀码与极大前缀码的一种新刻画

在语言图Γ(X*)概念的基础上,用新引入的语言竹竿l(X*)和语言竹竿集L(X*)的概念形象地刻画了前缀码与极大前缀码:A是前缀码l(X*)∈L(X*),S_l_((X*))∩A或为单点集或为Φ;A是极大前缀码l(X*)∈L(X*),i)S_(l(X*))∩A或为单点集或为Φ.ii)S_(l(X*))∩A=Φ■u∈S_(l(X*)),■a∈A,ω∈X~+使a=uw.     

C语言在密立根实验数据处理中的应用

用密立根油滴仪测油滴的电荷,求基本电量,及验证电荷量子性的实验是大学物理实验的经典实验。实验采用倒过来验证法,数据多,计算量较大,本文探讨使用C语言编程来处理实验数据。     

Comment on “Bad Language”: Resolving some Ambiguities about Chirality

In this comment on the Essay entitled “Bad Language” by Dunitz I add new elements which enlighten the discussion. I hope that they contribute to suppress ambiguities and preconceived ideas about chirality.     

Notes on top-down languages

Properties of context-free languages and grammars permitting deterministic top-down recognition with bounded lookahead are discussed. In particular, it is shown that for eachk>1 there are such languages requiring a lookahead of at leastk characters.